Identity for cot(3pi